Mathematical model - PDFSEARCH.IO - Document Search Engine

Mathematical model
Results: 5928

#	Item
111	Statistical Relational Learning with Soft Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marjon Blondeel4 , Marie-Francine Moens2 , Lise Getoor5 , and Martine De Cock1,6 1 Dept. of Applied Mathematics, Computer Sc Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-09-22 18:21:56 Logic Mathematical logic Abstraction Quantification Predicate logic Model theory Semantics Formal languages Quantifier First-order logic Constructible universe Universal quantification
112	A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony Brook Add to Reading List Source URL: bsd7.cs.sunysb.edu Language: English - Date: 2008-07-02 09:38:12 Mathematics Logic Mathematical logic Boolean algebra Formal languages Model theory Binary decision diagram Model checking IP Boolean satisfiability problem Constructible universe Well-formed formula
113	Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemhoff∗ Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria. baaz@lo Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:03 Logic Mathematical logic Abstraction Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction Sequent calculus Sequent First-order logic
114	The Markowitz Model Selecting an Efficient Investment Portfolio Allison Beste Dennis Leventhal Jared Williams Add to Reading List Source URL: ramanujan.math.trinity.edu Language: English - Date: 2004-11-15 15:22:24 Statistics Probability Mathematical analysis Algebra of random variables Covariance and correlation Summary statistics Mathematical finance Financial economics Hyperbola Harry Markowitz Variance Multivariate random variable
115	Approximating the Size of a Radio Network in Beeping Model Philipp Brandes1 , Marcin Kardas2 , Marek Klonowski2 , Dominik Pająk2 , and Roger Wattenhofer1 ? 1 2 Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2016-07-19 07:32:17 Computational complexity theory Analysis of algorithms Theory of computation Mathematics Probability theory Mathematical notation Leader election Randomized algorithm Big O in probability notation Time complexity -net
116	Policy Evaluation, Exercise Sheet 2 Florian Oswald∗ March 22, 2012 Derive an Expression for Cov(Z, T ) in an IV model Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Statistics Probability Mathematical analysis Normal distribution Probability distributions Parametric statistics T-statistic Sample size determination
117	CIA Exercise Aureo de Paula and Florian Oswald, UCL March 5, 2013 1 Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Statistics Mathematical analysis Probability Probability distributions Infinitely divisible probability distributions Poisson processes Exponential distribution Exponentials Probit model
118	Mathematical Medicine and Biology Page 1 of 35 doi:imammb/dqnxxx A Biochemical and Mechanical Model of Injury-Induced Intimal Thickening PAK -W ING F OK Add to Reading List Source URL: udel.edu Language: English - Date: 2015-09-18 10:12:19 Elasticity Medicine Solid mechanics Physics Clinical medicine Angiology Vascular diseases Growth factors Intimal hyperplasia Constitutive equation Atherosclerosis Stress
119	A separation logic for refining concurrent objects Aaron Turon Mitchell Wand Northeastern University Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-07-15 17:40:28 Logic Mathematical logic Abstraction Model theory Predicate logic Semantics Denotational semantics First-order logic Structure Quantifier Substitution
120	CONDITIONAL VALUE-AT-RISK MODEL FOR HAZARDOUS MATERIALS TRANSPORTATION Add to Reading List Source URL: www.informs-sim.org Language: English - Date: 2011-11-29 10:29:22 Financial risk Actuarial science Economy Mathematical finance Applied mathematics Finance Value at risk Expected shortfall Shortest path problem Risk Mathematical optimization Expected value

UPDATE